Switching between buffers/edit panes is very slow. Any suggestions on how to improve
the performance are welcome.
java version "1.6.0_22"
jEdit 4.32
Mac OS X 10.6.5
| Submitted | oswaldcz - 2010-11-29 - 01:59:12z | Assigned | oswaldcz |
|---|---|---|---|
| Priority | 5 | Category | None |
| Status | Open | Group | None |
| Resolution | None | Visibility | No |
| 2010-11-29 - 02:01:39z oswaldcz |
Workaround -- uncheck "Show in Menubar" option in the plugin preferences |
|---|---|
| 2010-11-29 - 07:59:52z patchworker |
Maybe it eats much of memory, you can try to how it works with more memory: /usr/bin/jedit default is this: JAVA_HEAP_MAX_SIZE=192 what leads to this option -Xmx${JAVA_HEAP_MAX_SIZE}M |